检索结果

Select

1. 物联网智能物流系统容错服务组合建模与分析

郭荣佐, 冯朝胜, 秦志光

计算机应用 2019, 39 (2): 589-597. DOI: 10.11772/j.issn.1001-9081.2018061320

摘要（454）

PDF （1487KB）（335）

针对物流领域的服务组合存在容错性差和服务不可靠等问题，提出一种基于π网的物联网智能物流系统物流服务容错组合模型。首先，在简单介绍物联网智能物流系统后，给出了物联网智能物流系统的容错服务组合框架；然后，基于π网建立了物联网智能物流系统物流服务容错组合模型，并对模型进行了容错正确性和拟合性分析；最后，对提出的模型进行了服务可靠性、服务故障容错可靠性实验，并与Petri网、QoS动态预测算法、模糊卡诺模型和改进粒子群优化的服务组合方法针对服务组合的执行时间、用户满意度、可靠性和最优度进行对比实验。实验结果表明，所提模型具有更高的服务可靠性和服务故障容错可靠性，同时在服务组合的执行时间、用户满意度、可靠性和最优度等方面也具有一定的优越性。

参考文献 | 相关文章 | 多维度评价

Select

2. 嵌入式系统硬件可靠性Copula方法建模与分析

郭荣佐, 樊相奎, 崔冬霞, 黎明

计算机应用 2015, 35 (2): 550-554. DOI: 10.11772/j.issn.1001-9081.2015.02.0550

摘要（526）

PDF （843KB）（360）

嵌入式系统硬件的可靠性是十分重要的,它直接关系到嵌入式系统的质量和寿命。为了对嵌入式系统的硬件可靠性进行分析,利用Copula方法从硬件角度和层面对其进行研究。首先从嵌入式系统硬件的组成层面对其进行抽象定义;然后从组成嵌入式系统硬件的每个功能模块出发,对每个功能模块从软硬件综合角度进行可靠性建模,同时利用Copula函数建立了嵌入式系统硬件的可靠性模型;最后对嵌入式系统硬件可靠性模型的参数进行估计,给出具体的嵌入式系统硬件可靠性计算实例,并将所建立的模型与其他类型的Copula函数进行比较。通过实例化分析和验证结果表明,得到的嵌入式系统硬件Copula函数模型是切实可行的。

参考文献 | 相关文章 | 多维度评价

Select

3. 嵌入式实时控制系统软件可靠性建模与应用

郭荣佐黄君

计算机应用 2013, 33 (02): 575-578. DOI: 10.3724/SP.J.1087.2013.00575

摘要（777）

PDF （575KB）（429）

嵌入式实时控制系统(ERCS)广泛应用于各种控制系统中，其软件不同于普通软件，除满足实时性要求外，可靠性也是相当重要的。首先对嵌入式实时控制系统软件进行形式化抽象定义，然后对不可再分的软件模块进行可靠性建模，并应用Copula函数对软件系统进行建模，最后应用建立的模型，对具体的系统进行了软件可靠性计算。通过实例计算可知，用Copula函数建立的嵌入式实时控制系统软件可靠性模型，考虑了软件各个模块的相依性，进而得到嵌入式实时控制系统软件模块相依的可靠度较各模块独立时有所提高。

相关文章 | 多维度评价

Select

4. 基于Markov链的嵌入式系统硬件可靠性研究

郭荣佐黄君王霖

计算机应用 2012, 32 (04): 1152-1156. DOI: 10.3724/SP.J.1087.2012.01152

摘要（471）

PDF （919KB）（372）

嵌入式系统产品在使用过程中经常出现硬件故障，从而影响系统的安全可靠性。从嵌入式系统硬件层面研究其可靠性。首先定义嵌入式系统硬件目标，简单介绍了Markov过程理论；建立了单个IP硬核和嵌入式系统硬件的Markov模型；应用所建立的模型，对嵌入式站间自动闭塞控制器硬件进行了可靠度计算和分析。实验结果表明，该Markov模型能够准确描述嵌入式系统硬件的状态变迁，并能计算和分析其可靠度，具有一定的实用价值。

参考文献 | 相关文章 | 多维度评价

Select

5. 基于π网的嵌入式系统软硬件划分方法

郭荣佐黄君王霖

计算机应用 2012, 32 (03): 855-860. DOI: 10.3724/SP.J.1087.2012.00855

摘要（1187）

PDF （941KB）（598）

针对嵌入式系统软硬件划分问题,提出一种基于π网的软硬件划分方法。首先介绍π网的定义及其规则;然后,对嵌入式系统目标进行描述和定义,应用π网建立软硬件划分模型——嵌入式系统软硬件划分模型(ESHPM);最后,对模型ESHPM进行一致性、死锁和兼容性分析,同时,对模型ESHPM进行了优化。所建立的模型ESHPM满足一致性,各进程间无死锁存在,且各个进程之间的交互是兼容的;同时模型ESHPM有效地提高了划分精度,并获得了更加合理的软硬件划分方法。

参考文献 | 相关文章 | 多维度评价

Select

6. 嵌入式系统软件体系结构动态建模及应用研究

郭荣佐郭进王霖

计算机应用

摘要（1427）

PDF （1009KB）（699）

应用π演算方法，结合Petri网中的面向对象Petri网和时间Petri网，建立了嵌入式系统软件体系结构抽象模型ESAM，研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型，对车站信号联锁控制器进行了建模与分析。